A Formal Approach to Use Cases and Their Relationships
نویسندگان
چکیده
The Use Case construct is one of the most important constructs for modelling the dynamics of a system. In this paper we describe the Use Case construct of the Unified Modeling Language (UML) together with two important kinds of relationships between Use Cases, namely Uses and Extends. These two relationships are specializations of the Generalization relationship in UML. We give a detailed presentation of the semantics of these constructs using the UML constructs Operation and Method. The presentation is used as a basis for formalization of the semantics. For the formal specification is used an object-oriented specification technique specially designed for formalization of modelling languages.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملIdentification and Ranking Green Supplier Selection Criteria Using One-Sample T-Test and FANP Methods: A Case Study for Petrochemical Industry
Increasing global notices in environmental protection, green supply chain management (GSCM) has received much attention by researchers and managers more than the past. Commonly, firms have considered cost criteria to select their suppliers. Despite the fact that there are various papers considering the formal criteria in supplier selection, there is a few limited numbers considering the environ...
متن کاملIdentification and Ranking Green Supplier Selection Criteria Using One-Sample T-Test and FANP Methods: A Case Study for Petrochemical Industry
Increasing global notices in environmental protection, green supply chain management (GSCM) has received much attention by researchers and managers more than the past. Commonly, firms have considered cost criteria to select their suppliers. Despite the fact that there are various papers considering the formal criteria in supplier selection, there is a few limited numbers considering the environ...
متن کاملA Study on the Structure of Social Networks Bonds(A Comparative Study in Babol)
Ties and social bonds are considered as social capital and assets of the person and the person can be accessed at these links from the resources and support has great importance in sociology. The overall goal of this research was to study social networks and social ties of women and their husbands, living in Babol. Types of social networks(formal relationships, informal relationships) and the s...
متن کامل